elementary divisor theorem

初等因子定理